perm filename FONTS.TEX[X,ALS] blob
sn#816719 filedate 1986-05-09 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00020 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00003 00002 \catcode`\↑↑L=9 %This sets the page boundary to be an ignored character
C00004 00003 \def\aps{%
C00005 00004 \def\athena{%
C00010 00005 \def\frutiger{%
C00015 00006 \def\galliard{%
C00023 00007 \def\janson{%
C00026 00008 \def\media{%
C00029 00009 \def\meridien{%
C00031 00010 \def\sabon{%
C00035 00011 \def\serifa{%
C00039 00012 \def\syntax{%
C00041 00013 }% end\aps
C00042 00014
C00043 00015 \def\dover{%
C00044 00016 \def\galliard{% galliard → times
C00051 00017 \def\janson{% janson → times
C00055 00018 \def\athena{% athena → helvetica
C00061 00019 }% end\dover
C00062 00020 \catcode`\↑↑L=\active %and this sets it back.
C00063 ENDMK
C⊗;
\catcode`\↑↑L=9 %This sets the page boundary to be an ignored character
%so the scanner skips over it and it doesn't go into the
%macro.
\def\aps{%
%
\def\athena{%
%
%\def\lightrmseven {\font \lightrmseven = 23161 at 7 pt\lightrmseven}
%\def\lightrmeight {\font \lightrmeight = 23161 at 8 pt\lightrmeight}
%\def\lightrm {\font \lightrm = 23161 at 9 pt\lightrm}
%\def\lightrmten {\font \lightrmten = 23161 at 10 pt\lightrmten}
%\def\lightrmeleven {\font \lightrmeleven = 23161 at 11 pt\lightrmeleven}
%\def\lightrmtwelve {\font \lightrmtwelve = 23161 at 12 pt\lightrmtwelve}
%\def\lightrmfourteen {\font \lightrmfourteen = 23162 at 14 pt\lightrmfourteen}
%\def\lightitseven {\font \lightitseven = 23171 at 7 pt\lightitseven}
%\def\lightiteight {\font \lightiteight = 23171 at 8 pt\lightiteight}
%\def\lightit {\font \lightit = 23171 at 9 pt\lightit}
%\def\lightitten {\font \lightitten = 23171 at 10 pt\lightitten}
%\def\lightiteleven {\font \lightiteleven = 23171 at 11 pt\lightiteleven}
%\def\lightittwelve {\font \lightittwelve = 23171 at 12 pt\lightittwelve}
%\def\lightitfourteen {\font \lightitfourteen = 23172 at 14 pt\lightitfourteen}
\def\rmseven {\font \rmseven = 22301 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 22301 at 8 pt\rmeight}
\def\rm {\font \rm = 22301 at 9 pt\rm}
\def\rmten {\font \rmten = 22301 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 22301 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 22302 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 22302 at 14 pt\rmfourteen}
\def\itseven {\font \itseven = 22311 at 7 pt\itseven}
\def\iteight {\font \iteight = 22311 at 8 pt\iteight}
\def\it {\font \it = 22311 at 9 pt\it}
\def\itten {\font \itten = 22311 at 10 pt\itten}
\def\iteleven {\font \iteleven = 22311 at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = 22311 at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = 22312 at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven = 22371 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = 22371 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = 22371 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = 22371 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = 22371 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = 22372 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = 22372 at 14 pt\boldrmfourteen}
%\def\bolditseven {\font \bolditseven = 23211 at 7 pt\bolditseven}
%\def\bolditeight {\font \bolditeight = 23211 at 8 pt\bolditeight}
%\def\boldit {\font \boldit = 23211 at 9 pt\boldit}
%\def\bolditten {\font \bolditten = 23211 at 10 pt\bolditten}
%\def\bolditeleven {\font \bolditeleven = 23211 at 11 pt\bolditeleven}
%\def\boldittwelve {\font \boldittwelve = 23211 at 12 pt\boldittwelve}
%\def\bolditfourteen {\font \bolditfourteen = 23212 at 14 pt\bolditfourteen}
%\def\blackrmfourteen {\font \blackrmfourteen = 23222 at 14 pt\blackrmfourteen}
%\def\blackitfourteen {\font \blackitfourteen = 23231 at 14 pt\blackitfourteen}
%
}% end \athena
\def\frutiger{%
%
\def\lightrmseven {\font \lightrmseven = 23161 at 7 pt\lightrmseven}
\def\lightrmeight {\font \lightrmeight = 23161 at 8 pt\lightrmeight}
\def\lightrm {\font \lightrm = 23161 at 9 pt\lightrm}
\def\lightrmten {\font \lightrmten = 23161 at 10 pt\lightrmten}
\def\lightrmeleven {\font \lightrmeleven = 23161 at 11 pt\lightrmeleven}
\def\lightrmtwelve {\font \lightrmtwelve = 23161 at 12 pt\lightrmtwelve}
\def\lightrmfourteen {\font \lightrmfourteen = 23162 at 14 pt\lightrmfourteen}
\def\lightitseven {\font \lightitseven = 23171 at 7 pt\lightitseven}
\def\lightiteight {\font \lightiteight = 23171 at 8 pt\lightiteight}
\def\lightit {\font \lightit = 23171 at 9 pt\lightit}
\def\lightitten {\font \lightitten = 23171 at 10 pt\lightitten}
\def\lightiteleven {\font \lightiteleven = 23171 at 11 pt\lightiteleven}
\def\lightittwelve {\font \lightittwelve = 23171 at 12 pt\lightittwelve}
\def\lightitfourteen {\font \lightitfourteen = 23172 at 14 pt\lightitfourteen}
\def\rmseven {\font \rmseven = 23181 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 23181 at 8 pt\rmeight}
\def\rm {\font \rm = 23181 at 9 pt\rm}
\def\rmten {\font \rmten = 23181 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 23181 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 23181 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 23182 at 14 pt\rmfourteen}
\def\itseven {\font \itseven = 23191 at 7 pt\itseven}
\def\iteight {\font \iteight = 23191 at 8 pt\iteight}
\def\it {\font \it = 23191 at 9 pt\it}
\def\itten {\font \itten = 23191 at 10 pt\itten}
\def\iteleven {\font \iteleven = 23191 at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = 23191 at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = 23192 at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven = 23201 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = 23201 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = 23201 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = 23201 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = 23201 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = 23201 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = 23202 at 14 pt\boldrmfourteen}
\def\bolditseven {\font \bolditseven = 23211 at 7 pt\bolditseven}
\def\bolditeight {\font \bolditeight = 23211 at 8 pt\bolditeight}
\def\boldit {\font \boldit = 23211 at 9 pt\boldit}
\def\bolditten {\font \bolditten = 23211 at 10 pt\bolditten}
\def\bolditeleven {\font \bolditeleven = 23211 at 11 pt\bolditeleven}
\def\boldittwelve {\font \boldittwelve = 23211 at 12 pt\boldittwelve}
\def\bolditfourteen {\font \bolditfourteen = 23212 at 14 pt\bolditfourteen}
\def\blackrmfourteen {\font \blackrmfourteen = 23222 at 14 pt\blackrmfourteen}
\def\blackitfourteen {\font \blackitfourteen = 23231 at 14 pt\blackitfourteen}
%
}% end \frutiger
\def\galliard{%
%
\def\rmseven {\font \rmseven = 11661 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 11661 at 8 pt\rmeight}
\def\rm {\font \rm = 11661 at 9 pt\rm}
\def\rmninefive {\font \rmninefive = 11661 at 9.5 pt\rmninefive}
\def\rmten {\font \rmten = 11661 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 11662 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 11662 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 11662 at 14 pt\rmfourteen}
\def\rmthirtysix {\font \rmthirtysix = 16903 at 36 pt\rmthirtysix}
\def\rmforty {\font \rmforty = 16903 at 40 pt\rmforty}
\def\rmfortyeight {\font \rmfortyeight = 16904 at 48 pt\rmfortyeight}
\def\rmfiftysix {\font \rmfiftysix = 16904 at 56 pt\rmfiftysix}
\def\rmsixty {\font \rmsixty = 16904 at 60 pt\rmsixty}
\def\rmseventytwo {\font \rmseventytwo = 16904 at 72 pt\rmseventytwo}
\def\itseven {\font \itseven = 11671 at 7 pt\itseven}
\def\iteight {\font \iteight = 11671 at 8 pt\iteight}
\def\it {\font \it = 11671 at 9 pt\it}
\def\itninefive {\font \itninefive = 11671 at 9.5 pt\itninefive}
\def\itten {\font \itten = 11671 at 10 pt\itten}
\def\iteleven {\font \iteleven = 11672 at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = 11672 at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = 11672 at 14 pt\itfourteen}
\def\itthirtysix {\font \itthirtysix = 16913 at 36 pt\itthirtysix}
\def\itforty {\font \itforty = 16913 at 40 pt\itforty}
\def\itfortyeight {\font \itfortyeight = 16914 at 48 pt\itfortyeight}
\def\itsixty {\font \itsixty = 16914 at 60 pt\itsixty}
\def\itseventytwo {\font \itseventytwo = 16914 at 72 pt\itseventytwo}
\def\iteighty {\font \iteighty = 16914 at 80 pt\iteighty}
\def\boldrmseven {\font \boldrmseven = 11681 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = 11681 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = 11681 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = 11681 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = 11682 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = 11682 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = 11682 at 14 pt\boldrmfourteen}
\def\boldrmeighteen {\font \boldrmeighteen = 11682 at 18 pt\boldrmeighteen}
\def\boldrmfortytwo {\font \boldrmfortytwo = 11683 at 42 pt\boldrmfortytwo}
\def\bolditseven {\font \bolditseven = 11691 at 7 pt\bolditseven}
\def\bolditeight {\font \bolditeight = 11691 at 8 pt\bolditeight}
\def\boldit {\font \boldit = 11691 at 9 pt\boldit}
\def\bolditten {\font \bolditten = 11691 at 10 pt\bolditten}
\def\bolditeleven {\font \bolditeleven = 11692 at 11 pt\bolditeleven}
\def\boldittwelve {\font \boldittwelve = 11692 at 12 pt\boldittwelve}
\def\bolditfourteen {\font \bolditfourteen = 11692 at 14 pt\bolditfourteen}
\def\blackrmseven {\font \blackrmseven = 11701 at 7 pt\blackrmseven}
\def\blackrmeight {\font \blackrmeight = 11701 at 8 pt\blackrmeight}
\def\blackrm {\font \blackrm = 11701 at 9 pt\blackrm}
\def\blackrmten {\font \blackrmten = 11701 at 10 pt\blackrmten}
\def\blackrmeleven {\font \blackrmeleven = 11702 at 11 pt\blackrmeleven}
\def\blackrmtwelve {\font \blackrmtwelve = 11702 at 12 pt\blackrmtwelve}
\def\blackrmfourteen {\font \blackrmfourteen = 11702 at 14 pt\blackrmfourteen}
\def\blackitseven {\font \blackitseven = 11711 at 7 pt\blackitseven}
\def\blackiteight {\font \blackiteight = 11711 at 8 pt\blackiteight}
\def\blackit {\font \blackit = 11711 at 9 pt\blackit}
\def\blackitten {\font \blackitten = 11711 at 10 pt\blackitten}
\def\blackiteleven {\font \blackiteleven = 11712 at 11 pt\blackiteleven}
\def\blackittwelve {\font \blackittwelve = 11712 at 12 pt\blackittwelve}
\def\blackitfourteen {\font \blackitfourteen = 11712 at 14 pt\blackitfourteen}
\def\ultrarmseven {\font \ultrarmseven = 11721 at 7 pt\ultrarmseven}
\def\ultrarmeight {\font \ultrarmeight = 11721 at 8 pt\ultrarmeight}
\def\ultrarm {\font \ultrarm = 11721 at 9 pt\ultrarm}
\def\ultrarmten {\font \ultrarmten = 11721 at 10 pt\ultrarmten}
\def\ultrarmeleven {\font \ultrarmeleven = 11722 at 11 pt\ultrarmeleven}
\def\ultrarmtwelve {\font \ultrarmtwelve = 11722 at 12 pt\ultrarmtwelve}
\def\ultrarmfourteen {\font \ultrarmfourteen = 11722 at 14 pt\ultrarmfourteen}
\def\ultraitseven {\font \ultraitseven = 11731 at 7 pt\ultraitseven}
\def\ultraiteight {\font \ultraiteight = 11731 at 8 pt\ultraiteight}
\def\ultrait {\font \ultrait = 11731 at 9 pt\ultrait}
\def\ultraitten {\font \ultraitten = 11731 at 10 pt\ultraitten}
\def\ultraiteleven {\font \ultraiteleven = 11732 at 11 pt\ultraiteleven}
\def\ultraittwelve {\font \ultraittwelve = 11732 at 12 pt\ultraittwelve}
\def\ultraitfourteen {\font \ultraitfourteen = 11732 at 14 pt\ultraitfourteen}
%
}% end\galliard
\def\janson{%
%
\def\rmseven {\font \rmseven = 21891 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 21891 at 8 pt\rmeight}
\def\rm {\font \rm = 21891 at 9 pt\rm}
\def\rmten {\font \rmten = 21891 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 21892 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 21892 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 21892 at 14 pt\rmfourteen}
\def\itseven {\font \itseven = 21901 at 7 pt\itseven}
\def\iteight {\font \iteight = 21901 at 8 pt\iteight}
\def\it {\font \it = 21901 at 9 pt\it}
\def\itten {\font \itten = 21901 at 10 pt\itten}
\def\iteleven {\font \iteleven = 21902 at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = 21902 at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = 21902 at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven = 21931 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = 21931 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = 21931 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = 21931 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = 21932 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = 21932 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = 21932 at 14 pt\boldrmfourteen}
\def\bolditseven {\font \bolditseven = 21941 at 7 pt\bolditseven}
\def\bolditeight {\font \bolditeight = 21941 at 8 pt\bolditeight}
\def\boldit {\font \boldit = 21941 at 9 pt\boldit}
\def\bolditten {\font \bolditten = 21941 at 10 pt\bolditten}
\def\bolditeleven {\font \bolditeleven = 21942 at 11 pt\bolditeleven}
\def\boldittwelve {\font \boldittwelve = 21942 at 12 pt\boldittwelve}
\def\bolditfourteen {\font \bolditfourteen = 21942 at 14 pt\bolditfourteen}
%
}% end \janson
\def\media{%
%
\def\rmseven {\font \rmseven = 18211 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 18211 at 8 pt\rmeight}
\def\rm {\font \rm = 18211 at 9 pt\rm}
\def\rmten {\font \rmten = 18211 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 18211 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 18211 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 18212 at 14 pt\rmfourteen}
\def\itseven {\font \itseven = 18221 at 7 pt\itseven}
\def\iteight {\font \iteight = 18221 at 8 pt\iteight}
\def\it {\font \it = 18221 at 9 pt\it}
\def\itten {\font \itten = 18221 at 10 pt\itten}
\def\iteleven {\font \iteleven = 18221 at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = 18221 at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = 18222 at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven 18231 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight 18231 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm 18231 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten 18231 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven 18232 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve 18232 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen 18232 at 14 pt\boldrmfourteen}
%\def\blackrmseven {\font \blackrmseven 18271 at 7 pt\blackrmseven}
%\def\blackrmeight {\font \blackrmeight 18271 at 8 pt\blackrmeight}
%\def\blackrm {\font \blackrm 18271 at 9 pt\blackrm}
%\def\blackrmten {\font \blackrmten 18271 at 10 pt\blackrmten}
%\def\blackrmeleven {\font \blackrmeleven 18271 at 11 pt\blackrmeleven}
%\def\blackrmtwelve {\font \blackrmtwelve 18271 at 12 pt\blackrmtwelve}
\def\blackrmfourteen {\font \blackrmfourteen 18272 at 14 pt\blackrmfourteen}
%
}% end \media
\def\meridien{%
%
\def\rmseven {\font \rmseven = 17481 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 17481 at 8 pt\rmeight}
\def\rm {\font \rm = 17481 at 9 pt\rm}
\def\rmten {\font \rmten = 17481 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 17481 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 17481 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 17482 at 14 pt\rmfourteen}
\def\boldrmseven {\font \boldrmseven = 17441 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = 17441 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = 17441 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = 17441 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = 17441 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = 17441 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = 17442 at 14 pt\boldrmfourteen}
%
}% end \meridien
\def\sabon{%
%
\def\rmseven {\font \rmseven = 26011 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 26011 at 8 pt\rmeight}
\def\rm {\font \rm = 26011 at 9 pt\rm}
\def\rmten {\font \rmten = 26011 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 26012 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 26012 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 26012 at 14 pt\rmfourteen}
\def\rmtwentyfour {\font \rmtwentyfour = 26013 at 24 pt\rmtwentyfour}
\def\rmthirtysix {\font \rmthirtysix = 26013 at 36 pt\rmthirtysix}
\def\rmfortyeight {\font \rmfortyeight = 26014 at 48 pt\rmfortyeight}
\def\rmsixty {\font \rmsixty = 26014 at 60 pt\rmsixty}
\def\rmseventytwo {\font \rmseventytwo = 26014 at 72 pt\rmseventytwo}
\def\itseven {\font \itseven = 26021 at 7 pt\itseven}
\def\iteight {\font \iteight = 26021 at 8 pt\iteight}
\def\it {\font \it = 26021 at 9 pt\it}
\def\itten {\font \itten = 26021 at 10 pt\itten}
\def\iteleven {\font \iteleven = 26022 at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = 26022 at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = 26022 at 14 pt\itfourteen}
\def\iteighteen {\font \iteightteen = 26022 at 18 pt\iteightteen}
\def\ittwentyfour {\font \ittwentyfour = 26023 at 24 pt\ittwentyfour}
\def\itthirtysix {\font \itthirtysix = 26023 at 36 pt\itthirtysix}
\def\boldrmseven {\font \boldrmseven = 26031 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = 26031 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = 26031 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = 26031 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = 26032 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = 26032 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = 26032 at 14 pt\boldrmfourteen}
\def\boldrmsixty {\font \boldrmsixty = 26034 at 60 pt\boldrmsixty}
\def\boldrmseventytwo {\font \boldrmseventytwo = 26034 at 72 pt\boldrmseventytwo}
%
}% end \sabon
\def\serifa{%
%
\def\lightrmseven {\font \lightrmseven = 24771 at 7 pt\lightrmseven}
\def\lightrmeight {\font \lightrmeight = 24771 at 8 pt\lightrmeight}
\def\lightrm {\font \lightrm = 24771 at 9 pt\lightrm}
\def\lightrmten {\font \lightrmten = 24771 at 10 pt\lightrmten}
\def\lightrmeleven {\font \lightrmeleven = 24771 at 11 pt\lightrmeleven}
\def\lightrmtwelve {\font \lightrmtwelve = 24771 at 12 pt\lightrmtwelve}
\def\lightrmfourteen {\font \lightrmfourteen = 24772 at 14 pt\lightrmfourteen}
\def\lightitseven {\font \lightitseven = 24791 at 7 pt\lightitseven}
\def\lightiteight {\font \lightiteight = 24791 at 8 pt\lightiteight}
\def\lightit {\font \lightit = 24791 at 9 pt\lightit}
\def\lightitten {\font \lightitten = 24791 at 10 pt\lightitten}
\def\lightiteleven {\font \lightiteleven = 24791 at 11 pt\lightiteleven}
\def\lightittwelve {\font \lightittwelve = 24791 at 12 pt\lightittwelve}
\def\lightitfourteen {\font \lightitfourteen = 24792 at 14 pt\lightitfourteen}
\def\rmseven {\font \rmseven = 24801 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 24801 at 8 pt\rmeight}
\def\rm {\font \rm = 24801 at 9 pt\rm}
\def\rmten {\font \rmten = 24801 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 24801 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 24801 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 24802 at 14 pt\rmfourteen}
\def\itseven {\font \itseven = 24811 at 7 pt\itseven}
\def\iteight {\font \iteight = 24811 at 8 pt\iteight}
\def\it {\font \it = 24811 at 9 pt\it}
\def\itten {\font \itten = 24811 at 10 pt\itten}
\def\iteleven {\font \iteleven = 24811 at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = 24811 at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = 24812 at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven 24821 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight 24821 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm 24821 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten 24821 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven 24821 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve 24821 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen 24822 at 14 pt\boldrmfourteen}
\def\blackrmfourteen {\font \blackrmfourteen 24831 at 14 pt\blackrmfourteen}
%
}% end \serifa
\def\syntax{%
%
\def\rmseven {\font \rmseven = 25891 at 7 pt\rmseven}
\def\rmeight {\font \rmeight = 25891 at 8 pt\rmeight}
\def\rm {\font \rm = 25891 at 9 pt\rm}
\def\rmten {\font \rmten = 25891 at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = 25891 at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = 25891 at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = 25892 at 14 pt\rmfourteen}
\def\boldrmseven {\font \boldrmseven = 25901 at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = 28901 at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = 28901 at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = 28901 at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = 28901 at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = 28901 at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = 28902 at 14 pt\boldrmfourteen}
%
}% end \syntax
}% end\aps
\def\dover{%
%
\def\galliard{% galliard → times
%
\def\rmseven {\font \rmseven = timesroman at 7 pt\rmseven}
\def\rmeight {\font \rmeight = timesroman at 8 pt\rmeight}
\def\rm {\font \rm = timesroman at 9 pt\rm}
\def\rmten {\font \rmten = timesroman at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = timesroman at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = timesroman at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = timesroman at 14 pt\rmfourteen}
\def\itseven {\font \itseven = timesromani at 7 pt\itseven}
\def\iteight {\font \iteight = timesromani at 8 pt\iteight}
\def\it {\font \it = timesromani at 9 pt\it}
\def\itten {\font \itten = timesromani at 10 pt\itten}
\def\iteleven {\font \iteleven = timesromani at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = timesromani at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = timesromani at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven = timesromanb at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = timesromanb at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = timesromanb at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = timesromanb at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = timesromanb at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = timesromanb at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = timesromanb at 14 pt\boldrmfourteen}
\def\bolditseven {\font \bolditseven = timesromanbi at 7 pt\bolditseven}
\def\bolditeight {\font \bolditeight = timesromanbi at 8 pt\bolditeight}
\def\boldit {\font \boldit = timesromanbi at 9 pt\boldit}
\def\bolditten {\font \bolditten = timesromanbi at 10 pt\bolditten}
\def\bolditeleven {\font \bolditeleven = timesromanbi at 11 pt\bolditeleven}
\def\boldittwelve {\font \boldittwelve = timesromanbi at 12 pt\boldittwelve}
\def\bolditfourteen {\font \bolditfourteen = timesromanbi at 14 pt\bolditfourteen}
\def\blackrmseven {\font \blackrmseven = timesromanb at 7 pt\blackrmseven}
\def\blackrmeight {\font \blackrmeight = timesromanb at 8 pt\blackrmeight}
\def\blackrm {\font \blackrm = timesromanb at 9 pt\blackrm}
\def\blackrmten {\font \blackrmten = timesromanb at 10 pt\blackrmten}
\def\blackrmeleven {\font \blackrmeleven = timesromanb at 11 pt\blackrmeleven}
\def\blackrmtwelve {\font \blackrmtwelve = timesromanb at 12 pt\blackrmtwelve}
\def\blackrmfourteen {\font \blackrmfourteen = timesromanb at 14 pt\blackrmfourteen}
\def\blackitseven {\font \blackitseven = timesromanbi at 7 pt\blackitseven}
\def\blackiteight {\font \blackiteight = timesromanbi at 8 pt\blackiteight}
\def\blackit {\font \blackit = timesromanbi at 9 pt\blackit}
\def\blackitten {\font \blackitten = timesromanbi at 10 pt\blackitten}
\def\blackiteleven {\font \blackiteleven = timesromanbi at 11 pt\blackiteleven}
\def\blackittwelve {\font \blackittwelve = timesromanbi at 12 pt\blackittwelve}
\def\blackitfourteen {\font \blackitfourteen = timesromanbi at 14 pt\blackitfourteen}
\def\ultrarmseven {\font \ultrarmseven = timesromanb at 7 pt\ultrarmseven}
\def\ultrarmeight {\font \ultrarmeight = timesromanb at 8 pt\ultrarmeight}
\def\ultrarm {\font \ultrarm = timesromanb at 9 pt\ultrarm}
\def\ultrarmten {\font \ultrarmten = timesromanb at 10 pt\ultrarmten}
\def\ultrarmeleven {\font \ultrarmeleven = timesromanb at 11 pt\ultrarmeleven}
\def\ultrarmtwelve {\font \ultrarmtwelve = timesromanb at 12 pt\ultrarmtwelve}
\def\ultrarmfourteen {\font \ultrarmfourteen = timesromanb at 14 pt\ultrarmfourteen}
\def\ultraitseven {\font \ultraitseven = timesromanbi at 7 pt\ultraitseven}
\def\ultraiteight {\font \ultraiteight = timesromanbi at 8 pt\ultraiteight}
\def\ultrait {\font \ultrait = timesromanbi at 9 pt\ultrait}
\def\ultraitten {\font \ultraitten = timesromanbi at 10 pt\ultraitten}
\def\ultraiteleven {\font \ultraiteleven = timesromanbi at 11 pt\ultraiteleven}
\def\ultraittwelve {\font \ultraittwelve = timesromanbi at 12 pt\ultraittwelve}
\def\ultraitfourteen {\font \ultraitfourteen = timesromanbi at 14 pt\ultraitfourteen}
%
}% end\galliard
\def\janson{% janson → times
%
\def\rmseven {\font \rmseven = timesroman at 7 pt\rmseven}
\def\rmeight {\font \rmeight = timesroman at 8 pt\rmeight}
\def\rm {\font \rm = timesroman at 9 pt\rm}
\def\rmten {\font \rmten = timesroman at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = timesroman at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = timesroman at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = timesroman at 14 pt\rmfourteen}
\def\itseven {\font \itseven = timesromani at 7 pt\itseven}
\def\iteight {\font \iteight = timesromani at 8 pt\iteight}
\def\it {\font \it = timesromani at 9 pt\it}
\def\itten {\font \itten = timesromani at 10 pt\itten}
\def\iteleven {\font \iteleven = timesromani at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = timesromani at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = timesromani at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven = timesromanb at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = timesromanb at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = timesromanb at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = timesromanb at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = timesromanb at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = timesromanb at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = timesromanb at 14 pt\boldrmfourteen}
\def\bolditseven {\font \bolditseven = timesromanbi at 7 pt\bolditseven}
\def\bolditeight {\font \bolditeight = timesromanbi at 8 pt\bolditeight}
\def\boldit {\font \boldit = timesromanbi at 9 pt\boldit}
\def\bolditten {\font \bolditten = timesromanbi at 10 pt\bolditten}
\def\bolditeleven {\font \bolditeleven = timesromanbi at 11 pt\bolditeleven}
\def\boldittwelve {\font \boldittwelve = timesromanbi at 12 pt\boldittwelve}
\def\bolditfourteen {\font \bolditfourteen = timesromanbi at 14 pt\bolditfourteen}
%
}% end\janson
\def\athena{% athena → helvetica
%
%\def\lightrmseven {\font \lightrmseven = helvetica at 7 pt\lightrmseven}
%\def\lightrmeight {\font \lightrmeight = helvetica at 8 pt\lightrmeight}
%\def\lightrm {\font \lightrm = helvetica at 9 pt\lightrm}
%\def\lightrmten {\font \lightrmten = helvetica at 10 pt\lightrmten}
%\def\lightrmeleven {\font \lightrmeleven = helvetica at 11 pt\lightrmeleven}
%\def\lightrmtwelve {\font \lightrmtwelve = helvetica at 12 pt\lightrmtwelve}
%\def\lightrmfourteen {\font \lightrmfourteen = helvetica at 14 pt\lightrmfourteen}
%\def\lightitseven {\font \lightitseven = helvetica at 7 pt\lightitseven}
%\def\lightiteight {\font \lightiteight = helvetica at 8 pt\lightiteight}
%\def\lightit {\font \lightit = helvetica at 9 pt\lightit}
%\def\lightitten {\font \lightitten = helvetica at 10 pt\lightitten}
%\def\lightiteleven {\font \lightiteleven = helvetica at 11 pt\lightiteleven}
%\def\lightittwelve {\font \lightittwelve = helvetica at 12 pt\lightittwelve}
%\def\lightitfourteen {\font \lightitfourteen = helvetica at 14 pt\lightitfourteen}
\def\rmseven {\font \rmseven = helvetica at 7 pt\rmseven}
\def\rmeight {\font \rmeight = helvetica at 8 pt\rmeight}
\def\rm {\font \rm = helvetica at 9 pt\rm}
\def\rmten {\font \rmten = helvetica at 10 pt\rmten}
\def\rmeleven {\font \rmeleven = helvetica at 11 pt\rmeleven}
\def\rmtwelve {\font \rmtwelve = helvetica at 12 pt\rmtwelve}
\def\rmfourteen {\font \rmfourteen = helvetica at 14 pt\rmfourteen}
\def\itseven {\font \itseven = helvetia at 7 pt\itseven}
\def\iteight {\font \iteight = helveticai at 8 pt\iteight}
\def\it {\font \it = helveticai at 9 pt\it}
\def\itten {\font \itten = helveticai at 10 pt\itten}
\def\iteleven {\font \iteleven = helveticai at 11 pt\iteleven}
\def\ittwelve {\font \ittwelve = helveticai at 12 pt\ittwelve}
\def\itfourteen {\font \itfourteen = helveticai at 14 pt\itfourteen}
\def\boldrmseven {\font \boldrmseven = helveticab at 7 pt\boldrmseven}
\def\boldrmeight {\font \boldrmeight = helveticab at 8 pt\boldrmeight}
\def\boldrm {\font \boldrm = helveticab at 9 pt\boldrm}
\def\boldrmten {\font \boldrmten = helveticab at 10 pt\boldrmten}
\def\boldrmeleven {\font \boldrmeleven = helveticab at 11 pt\boldrmeleven}
\def\boldrmtwelve {\font \boldrmtwelve = helveticab at 12 pt\boldrmtwelve}
\def\boldrmfourteen {\font \boldrmfourteen = helveticab at 14 pt\boldrmfourteen}
%\def\bolditseven {\font \bolditseven = helveticabi at 7 pt\bolditseven}
%\def\bolditeight {\font \bolditeight = helveticabi at 8 pt\bolditeight}
%\def\boldit {\font \boldit = helveticabi at 9 pt\boldit}
%\def\bolditten {\font \bolditten = helveticabi at 10 pt\bolditten}
%\def\bolditeleven {\font \bolditeleven = helveticabi at 11 pt\bolditeleven}
%\def\boldittwelve {\font \boldittwelve = helveticabi at 12 pt\boldittwelve}
%\def\bolditfourteen {\font \bolditfourteen = helveticabi at 14 pt\bolditfourteen}
%\def\blackrmfourteen {\font \blackrmfourteen = helveticabi at 14 pt\blackrmfourteen}
%\def\blackitfourteen {\font \blackitfourteen = helveticabi at 14 pt\blackitfourteen}
%
}% end \athena
}% end\dover
\catcode`\↑↑L=\active %and this sets it back.